Assertions have three major applications : they help produce reliable software ; they provide systematic documentation ; and they are a central tool for testing and debugging object - oriented software 断言有三个主要的应用:它们帮助产生可靠的软件;它们提供系统的文档;并且它们对于测试和除错面向对象软件而言是一个核心工具